formal proof - Türkçe İngilizce Sözlük